
//  Copyright (C) 2007 Richard Uhler

//?d:A object initializer with a number for a name
//?e:25

foo = { 42: 25};
print(foo[42]);
